Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
641	Learning proofs from refutations Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:29 Automated theorem proving Formal methods Logic in computer science ACL2 Lisp programming language Mathematical proof Isabelle Coq HOL Theoretical computer science Mathematical software Mathematics
642	Handling markup overlaps using OWL Angelo Di Iorio, Silvio Peroni, and Fabio Vitali Department of Computer Science, University of Bologna , , Abstract. A lot of ap Add to Reading List Source URL: speroni.web.cs.unibo.it Language: English - Date: 2013-02-22 04:14:52 Formal languages XML Computer file formats EARMARK HTML Standard Generalized Markup Language MECS Semantic Web Computing Markup languages Technical communication
643	Fast and Precise Sanitizer Analysis with B EK Pieter Hooimeijer University of Virginia Benjamin Livshits Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-06-09 19:12:49 Models of computation Computer science Finite state transducer String Regular language Finite-state machine FO Deterministic finite automaton Automata theory Theoretical computer science Formal languages
644	Letter 3 - Formal Warning of Unsatisfactory Participation in Learning by a Student of Post-Compulsory Age Add to Reading List Source URL: www.schools.nsw.edu.au Language: English - Date: 2014-10-25 01:15:33 Language interpretation Expulsion School discipline Suspension
645	Symbolic Finite State Transducers: Algorithms and Applications Margus Veanes Pieter Hooimeijer ∗ Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-11-09 16:49:04 Symbol Regular language Automata theory Formal languages Finite state transducer
646	Chapter 1. The Syntax Definition Formalism SDF Mark van den Brand Paul Klint Jurgen Vinju:18:09 +0200 (Mon, 22 Oct 2007) Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2007-12-04 10:03:46 Compiler construction Programming language theory Parser generators Programming language implementation Syntax Definition Formalism ASF+SDF Meta Environment SDF2 Attribute grammar Parsing Formal languages Software engineering Computing
647	Belief Revision with Sensing and Fallible Actions James P. Delgrande Hector J. Levesque School of Computing Science Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2012-08-16 12:46:26 Formal languages Mathematical logic Interpretation Philosophy of language Philosophy of mind Semantics Action description language Function Mathematics Logic Model theory
648	LCTES 2008 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (In conjunction with PLDITucson, AZ, USA, Junehttp://lctes08.flux.utah.edu/ Add to Reading List Source URL: lctes08.flux.utah.edu Language: English - Date: 2007-12-03 13:30:29 Debugging SIGPLAN Compiler Computing Embedded operating systems Real-time operating systems Formal methods Programming language implementation Software Embedded system
649	BITES instead of FIRST for Parsing Expression Grammar∗ Roman R. Redziejowski Abstract In an earlier paper, the author adapted to Parsing Expression Grammars (PEGs) the properties FIRST and FOLLOW used in the constructi Add to Reading List Source URL: www.romanredz.se Language: English - Date: 2011-09-08 11:39:06 Theoretical computer science Parsing expression grammar String LL parser FO Regular expression Context-free grammar Regular language Lookahead Formal languages Combinatorics Mathematics
650	Natural Language Parsing with GOLD and SWRL Graham Wilcock University of Helsinki We show that natural language parsing can be done with SWRL. Using GOLD, the Add to Reading List Source URL: www.ling.helsinki.fi Language: English - Date: 2006-09-29 15:58:04 Information Science Computing Knowledge representation Technical communication Semantic Web Rule Language Parsing Ontology Formal grammar Semantic Web Formal languages Compiler construction

UPDATE